中国计算机学会青年计算机科技论坛—长春分论坛
CCF Young Computer Scientists & Engineers Forum-ChangChun Branch
CCF YOCSEF长春
“纪念吴文俊先生诞生100周年”特别论坛：青年学者如何做出国际性成果
——做学问应该“洋为中用”，还是“古为今用”？
官方论坛编号：CCF-19-YOCSEF长春-1F
主办：CCF中国计算机学会
承办：CCF YOCSEF长春分论坛
协办： 符号计算与知识工程教育部重点实验室（吉林大学）
时间：2019年6月10日
地址：长春市前进大街2699号 吉林大学 前卫南区 计算机楼 A515会议室
联系人：
底晓强 CCF YOCSEF 长春主席（2019-2020）（18604465275）
孙铭会 CCF YOCSEF 长春AC （2019-2020）（13504409959）
论坛定向邀请（不超过20人）
中科院数学与系统研究院 中科院信息工程研究所 中科院软件所 清华大学 同济大学 中央财经大学 中国海洋大学 辽宁大学 吉林大学 长春理工大学 吉林农业大学 长春大学 吉林财经大学 长春工业大学 华为公司长春代表处 吉林省中云数讯科技股份有限公司 三盟科技股份有限公司 吉林省锐迅信息技术股份有限公司
论坛程序
论坛签到（8:30 – 9:00）
活动介绍（9:00-9:10）
全体合影（9:10 – 9:20）
第一阶段：先导发言（9:20 – 9:30，地点：A108）
（1）引导发言：刘卓军 中科院 数学与系统科学研究院 研究员 （5分钟）
引导主题：吴文俊先生的“吴方法”与Herbrand奖——谈“古为今用”的科研成就
（2）引导发言：刘大有 吉林大学 原符号计算与知识工程教育部重点实验室主任 （5分钟）
引导主题：王湘浩先生的科学人生与中国人工智能——谈“洋为中用”的科研成就
第二阶段：观点讨论（9:30 – 12:00，地点：A515）
论坛自由讨论
执行主席
叶育鑫 吉林大学 计算机科学与技术学院 博士生导师、CCF YOCSEF长春副主席（2019-2020）
姜建华 吉林财经大学 管理科学与信息工程学院 副院长、CCF YOCSEF长春学术秘书（2019-2020）
背 景
他1956年就与华罗庚、钱学森一起获得首届国家自然科学奖一等奖。翌年他38岁当选为最年轻的中科院学部委员（院士）。他开创了近代数学史第一个由中国人原创的研究领域——数学机械化。他做学问从不跟在外国人后面跑，开创出以自己姓氏命名的“吴方法”、“吴氏嵌类”、“吴中心”，早已成为国际公认的“影响深远的经典成果”。他“现学活用”中国古代传统数学，在自动推理领域的先驱性工作，数十年前就对数学与计算机科学研究影响深远，解决了曲面拼接、机构设计等高技术领域的核心问题。他生前鲜有提及人工智能，但他提出的数学机械化思想和方法早已成为我国和世界人工智能领域的重要研究方向，并广泛应用于计算机图形学、计算机视觉、模式识别等诸多学科也领域。他叫吴文俊，诞生于1919年5月12日。值此吴先生百年诞辰，让我们一起追忆他在人工智能领域做出的巨大贡献，解读他“古为今用”的“东方思维”所取得的国际性成果对我们青年学者的启示。
春意盎然的五月同样孕育了另一位中国人工智能界的泰山北斗，他就是生于1915年5月5日，我国杰出的数学家、计算机科学家和教育家王湘浩先生。王湘浩先生1946年赴美国普林斯顿大学留学，师从当代著名代数学家阿廷。他纠正了类域论中“格伦瓦尔德定理”里的错误，从而重新证明了狄克逊猜想，引起国际数学界的震动。1955年，他凭借此前在代数数论方面的研究与“格伦瓦尔德-王”定理，与华罗庚等另外8名数学家一起，成为中国首批入选的中科院学部委员（院士）。1977年，他在国内首倡开展人工智能的研究，开启人工智能“洋为中用”之先河，并在1979年组织召开了计算机科学暑期讨论会。这场大会也是有资料可考的中国第一次以人工智能为主题的大会，堪称中国的达特茅斯会议。今日中国人工智能研究四处开花，已经成为我们生活中的一部分，国内的人工智能研究者们，都应该感谢他在人工智能研究的关键时刻的背后推动。与吴文俊先生的“东方思维”不同，王湘浩先生做出了跟随并赶超“西方思维”的世界级研究成果。解读他的科学人生，同样对青年学者如何做出国际认可的世界级科研成果有积极的借鉴意义和启示。
议题 1
在当今中国学术生态下，青年学者是侧重“自主创新”，还是侧重“跟踪赶超”路径更易取得世界级成果？
议题 2
中国数学思维如何（自主或独立）孕育出世界级成果？
引导嘉宾介绍
刘卓军，博士，中国科学院数学与系统科学研究院研究员。师从吴文俊先 生，并与1990年协助吴文俊教授创立中国科学院“数学机械化研究中心”。一直从事符号计算、自动推理、数学机械化及其应用的研究，是国家重大基础研究973项目"数学机械化与自动推理平台"的专家组成员、国家攀登项目"机器证明及其应用"和"数学机械化及其应用"的专家委员会委员。
1998年，参与组建中国科学院数学与系统科学研究院并任副院长，此后还先后担任过北京市中关村科技园区管委会副主任、安徽省马鞍市人民政府副市长、全国风险管理标准化技术委员会副主任委员等职。
刘大有，吉林大学教授，师从王湘浩先生，并与1993年参与筹建符号计算与知识工程教育部重点实验室（吉林大学）。刘大有是国内智能推理与智能系统等研究的开拓者之一。主要研究知识工程与专家系统，多Agent系统、移动Agent系统与智能Agent，时空表示与推理，粗糙集、格机与数据挖掘，数据结构与算法。作为项目负责人承担了近40个国家和省部级项目，其中国家863高技术项目和国家基金项目20项。
历任国务院学位委员会学科评议组成员；中国计算机学会理事、中国计算机学会人工智能与模式识别专业委员会副主任、中国计算机学会教育专业委员会主任；《软件学报》编委；吉林省计算机学会理事长；吉林省政协委员、长春市政协常委、民盟吉林省常委等职。
执行主席介绍
叶育鑫 博士，吉林大学计算机科学与技术学院，副教授，博士生导师。符号计算与知识工程教育部重点实验室（吉林大学）研究人员，研究领域为感知计算与认知推理。
爱尔兰National University of Ireland交换博士生、德国 Technique University of Dresden和美国Wright State University访问学者。国家地球物理探测仪器工程技术研究中心出站博士后。
学术兼职有中国计算机学会理论计算机科学专委委员、中国人工智能学会离散智能计算专委委员、教育部学位中心硕博论文评审专家、吉林省大学生程序设计大赛组织工作委员会副秘书长等。历任CCF YOCSEF（长春）委员、AC委员、学术秘书等职务。
主持和参加国家级重大项目、国家自然基金等4项，省自然基金等省级项目2项。国内外发表论文40余篇， SCI、EI收录40余篇。主讲的《离散数学》为国家级精品课程、国家级精品资源共享课，所在“数据结构与离散数学教学团队”为国家级教学团队。
姜建华 博士，副教授，吉林财经大学管理科学与信息工程学院副院长，兼任物流产业经济与智能物流省重点实验室副主任。符号计算与知识工程教育部重点实验室（吉林大学）客座研究员，研究领域为云计算、商务智能、群智能等。
学术兼职中国管理科学与工程学会工业工程与管理研究会理事、吉林省商业经济学会常务理事、吉林省计算机学会理事、第十一届电子商务与电子政务管理国际会议程序主席、第七届中美电子商务高级论坛组织委员、商务与金融数据挖掘研讨会程序委员、ACM第一届商业与信息管理国际会议技术委员等，现为国外10余本SCI期刊及信息系统领域多个顶级国际会议审稿人。历任CCF YOCSEF（长春）委员、AC委员、学术秘书等职务。
发表40余篇SCI、EI收录学术论文，具有代表性的成果发表在《Future Generation Computer Systems》, 《Applied Soft Computing》, 《Soft Computing》, 《Physica A: Statistical Mechanics and its Applications》, 《International Journal of Pattern Recognition and Artificial Intelligence》、《Journal of Intelligent & Fuzzy Systems》等SCI收录的权威期刊，出版学术专著3部。
